INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Tree Transducer-based Analysis of Cryptographic Protocols

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Automata-based Analysis of Recursive Cryptographic Protocols

Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for instance, single rewrite rules—we call these protocols non-looping—and (2) protocols, such as group protocols, where the protocol steps are complex and typically involve an iterative or recursive computation— we call them r...

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Learning Manipulator Behaviors using Visual Information

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK Gabor Wavelet Networks for Object Representation

5

Datenbanken und Informationssysteme

Organisatorische Zugehörigkeit Ich gehörte zunächst zum Fachbereich Elektrotechnik, Fakultät für Maschinenbau und Elektrotechnik. Anläßlich der Zusammenführung der Informatik wurde ich Mitglied des Instituts für Theoretische und Praktische Informatik (1978) im Fachbereich Mathematik und Informatik. Wenig später wurde dieses Institut in kleinere Einheiten aufgeteilt, und mein Arbeitsbereich wurd...

INSTITUT FÜR INFORMATIK UND PRAKTISCHE MATHEMATIK An Evaluation Semantics for Narrowing-Based Functional Logic Languages

We introduce a semantic characterization of narrowing, the computational engine of many functional logic languages. We use a functional domain for giving a denotation to the narrowing space associated to a given initial expression under an arbitrary narrowing strategy. Such a semantic description highlights (and favours) the operational notion of evaluation instead of the more usual model-theor...